design by contract
契約による設計
component-based software engineering
Correctness (computer science)
Defensive programming
Fail-fast
Formal methods
Hoare logic
Modular programming
program derivation
program refinement
Strong typing
Test-driven development
typestate analysis
/suto3/google.icondesign by contract
image design by contract
define design by contract
wikipedia design by contract
weblio design by contract
kotobank design by contract
jisho design by contract